type record = {ctx: i64, foo': i64}

entry main (r: record) : record = r with ctx = 1
